Example 3.3.3

Let be an infinite dimensional hilbert space, then . The proof relies on the trace, for each we can find a projection onto a subspace of of dimension . Thus the semigroup we get is the integers union . The completion is .